منابع مشابه
NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETY- CRITICAL SYSTEMS
SEO RYONG KOO, POONG HYUN SEONG, JUNBEOM YOO, SUNG DEOK CHA, CHEONG YOUN and HYUNCHUL HAN Korea Advanced Institute of Science and Technology Department of Nuclear and Quantum Engineering Department of Electrical Engineering & Computer Science, Division of Computer Science 373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701, Korea Chungnam National University, Department of Information and Communic...
متن کاملMOBY/PLC - Graphical Development of PLC-Automata
Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...
متن کاملThe Nicholson blowfly experiments: some history and EDA
The renowned Australian entomologist Alexander J. Nicholson carried out a series of experiments in the 1950s with the intent of learning more about a sheep pest, the blowfly. The results presented here are driven by analyses of the data that Nicholson collected. The situation is of special interest because it involves a system that is nonlinear, has time lags and might be described as non-stati...
متن کاملExistence of almost periodic solution for neutral Nicholson blowflies model
*Correspondence: [email protected] 1School of Mathematical Science, University of Science and Technology of China, Hefei, 230036, China 2School of Mathematics and Statistics, Hefei Normal University, Hefei, 230601, China Full list of author information is available at the end of the article Abstract This paper is concerned with a class of neutral Nicholson blowflies models with leakage delays...
متن کاملSelf – Others Rating Discrepancy of Task and Contextual Performance
This research compared ratings of task performance and contextual performance from three different sources: self, peer, and supervisor. Participants were service industry employees in the service industries in Yogyakarta, Indonesia. A Sample of 146 employees and 40 supervisors from the service industries provided ratings of task performance and contextual performance. The results indicated th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ecclesiastical Law Journal
سال: 2010
ISSN: 0956-618X,1751-8539
DOI: 10.1017/s0956618x10000293